The Recursive Record Semantics of Objects Revisited

In a call-by-value language, representing objects as recursive records requires using an unsafe xpoint. We design, for a core language including extensible records, a type system which rules out unsafe recursion and still supports the reconstruction of a principal type. We illustrate the expressive power of this language with respect to object-oriented programming by introducing a sub-language for mixin-based programming. Key-words: xpoint, types, records, objects, semantics Work partially supported by the CTI Objets Migrants: Modélisation et Véri cation , France Télécom R&D, and by the French-Portugese Project Sémantique des Object Concurrents . Sur la Sémantique des Objets comme Enregistrements Récursifs Résumé : La représentation des objets comme enregistrements récursifs dans un langage en appel par valeur requiert l'utilisation d'un combinateur de point xe qui peut introduire des erreurs à l'exécution. Nous présentons un typage de la récursion qui o re les avantages du typage à la ML, à savoir: typage implicite avec reconstruction d'un type principal, et garantie qu'un programme typable ne produira pas d'erreur à l'exécution. Nous illustrons le pouvoir expressif du calcul obtenu en dé nissant un sous-calcul de "mixins", et en donnant quelques exemples exprimés dans ce langage. Mots-clés : point xe, types, enregistrements, objets, sémantique The Recursive Record Semantics of Objects 3